1. Declarative systems
پدیدآورنده : / edited by G. David, R. T. Boute, Boute, B. D. Shriver
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Electronic data processign - Distributed processing -- Congresses,Parallel Processing (Electronic computers) -- Congresses,Programming languages ( Electronic computer) --Semantics -- Congresses
رده :
QA
76
.
9
.
D5I343
1988
2. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
3. Practical aspects of declarative languages
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Semantics ; Congresses. ;
4. Practical aspects of declarative languages :
پدیدآورنده : Pascal Van Hentenryck (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
7
.
P32
2006
5. Practical aspects of declarative languages
پدیدآورنده : Andy Gill, Terrance Swift (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
615
.
P33
2009eb
6. Practical aspects of declarative languages
پدیدآورنده : / Michael Hanus (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers)--Semantics--Congresses
رده :
QA
,
76
.
7
,.
P32
,
2007
7. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings
پدیدآورنده : Gopal Gupta )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1551
8. Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings
پدیدآورنده : Enrico Pontelli, Vitor Santos Costa )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Declarative programming
رده :
QA
76
.
L28
Vol
.
1753
9. Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
پدیدآورنده : Manuel Hermenegildo, Daniel Cabeza )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3350
10. Practical aspects of declarative languages : 9th International Symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings
پدیدآورنده : Michael Hanus )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
4354
11. Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings
پدیدآورنده : Bharat Jayaraman )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3057
12. Practical aspects of declarative languages :5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings
پدیدآورنده : Veronica Dahl, Philip Wadler )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
2562
13. Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
پدیدآورنده : I.V. Ramakrishnan
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1990